Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
261	[Faculty of Science Information and Computing Sciences] Terminating combinator parsers in Agda Andres L¨oh based on work by Nils Anders Danielsson and Ulf Norell Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computing Haskell Agda Function Factorial Combinatory logic Haskell 98 features Mathematics Software engineering Functional languages
262	E. Artal J. Carmona J. I. Cogolludo n.0 32 Add to Reading List Source URL: www.unizar.es Language: English - Date: 2001-10-10 13:14:56 Combinatory logic Lambda calculus Logic in computer science
263	The Combinatorics of Non-determinism∗ ´ eric ´ Peschanski‡ . Olivier Bodini†, Antoine Genitrini‡and Fred [removed], {Antoine.Genitrini,Frederic.Peschanski}@lip6.fr. Add to Reading List Source URL: www-apr.lip6.fr Language: English - Date: 2013-12-05 10:18:28 Enumerative combinatorics Integer sequences Computational complexity theory Factorial Computation tree B-tree Combinatory logic Combinatorial species Tree Mathematics Combinatorics Discrete mathematics
264	HALO: Haskell to Logic through Denotational Semantics As submitted to POPL’13, July 11, 2012 Dimitrios Vytiniotis Simon Peyton Jones Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-07-11 09:13:42 Logic in computer science Models of computation Model theory Formal methods Denotational semantics Combinatory logic First-order logic Interpretation Lambda calculus Mathematical logic Logic Mathematics
265	The Why of Y Richard P. Gabriel Lucid, Inc. and Stanford University Did you ever wonder how Y works and how anyone could ever have thought of it? In this note I’ll try to explain to you not only how it works, but how s Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 16:00:09 Declarative programming Fixed-point combinator Closure Function Combinatory logic Currying Factorial Binary lambda calculus Mathematics Lambda calculus Software engineering
266	The Role of Syntax in Vector Space Models of Compositional Semantics Karl Moritz Hermann and Phil Blunsom Department of Computer Science University of Oxford Oxford, OX1 3QD, UK {karl.moritz.hermann,phil.blunsom}@cs.ox.a Add to Reading List Source URL: aclweb.org Language: English - Date: 2013-07-25 09:24:47 Semantics Information retrieval Logic in computer science Combinatory categorial grammar Combinatory logic Semantic similarity Categorial grammar Vector space model Word-sense disambiguation Linguistics Computational linguistics Science
267	True Sums of Products Workshop on Generic Programming 2014 Edsko de Vries, Andres Löh 31 August 2014 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2014-09-01 09:38:41 Type theory Data types Generic programming Lambda calculus Logic in computer science Type system Combinatory logic C Haskell Software engineering Programming language theory Computing
268	IJMMS 31:[removed]–763 PII. S0161171202111379 http://ijmms.hindawi.com © Hindawi Publishing Corp. A NEW TRIPLE SUM COMBINATORIAL IDENTITY Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2010-03-26 14:53:30 Mathematics Combinatorics Rotational symmetry Partial differential equations Binomial coefficient Pythagorean trigonometric identity Combinatory logic Lambda calculus Logic in computer science
269	Calculating Criticalities A. Bundy1 F. Giunchiglia2 3 R. Sebastiani4 T. Walsh2 4 ; ; Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 07:14:05 Lambda calculus Logic in computer science Order theory FO Finite model theory Abstraction Fixed-point combinator Combinatory logic Monotonic function Theoretical computer science Mathematics Mathematical analysis
270	This article was downloaded by: [[removed]On: 31 March 2014, At: 14:01 Publisher: Institute for Operations Research and the Management Sciences (INFORMS) INFORMS is located in Maryland, USA Mathematics of Operatio Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2014-07-09 11:56:39 Applied mathematics Convex optimization Mathematical optimization Legendre function Combinatorics Combinatory logic Linear programming Operations research Theoretical computer science Mathematics

UPDATE